ВСТРАИВАЕМОЕ ПО

Ansys SCADE Suite

Среда модельно-ориентированной разработки алгоритмов управления и логики работы системы, сертифицированной генерации кода, верификации и интеграции систем и ПО.

Графическое предоставление диаграмм принятия решений
Возможность сравнения различных версий проектов, моделей, операторов или конечных автоматов с графическим указанием различий и составления отчетов
Расширенные библиотеки интеграторов, гистерезиса, квантователей, фильтров, триггеров, таблиц истинности, справочных таблиц, матричных операторов и других компонентов
Импорт ранее разработанного программного кода
Доступ на чтение/запись файлов проектов и моделей через Eclipse Modeling Framework (EMF) или Tcl API
Мастер разработки тестовых сценариев
Двунаправленная синхронизация между моделями архитектуры системы и моделями проекта ПО

Анализ наихудшего времени выполнения программы (WCET) и используемого размера стека
Оптимизация времени выполнения программы и/или размера стека
Анализ производительности кода
Автоматическое создание подробных отчетов
Настройка и автоматизация моделирования с помощью языка сценариев Tcl
Автоматическое выполнение тестовых сценариев
Совместное моделирование в Simulink и MATLAB

Экспорт FMU-моделей в Ansys Twin Builder
Оценка соответствия проекта требованиям безопасности и выявление ошибок на ранней стадии проектирования
Автоматическая генерация сертифицированного кода и интеграция в коммерческие программные продукты
Разработка встроенных человеко-машинных интерфейсов
Управление жизненным циклом программного обеспечения в связке с Ansys SCADE LifeCycle